Signed-off-by: Emmanuel Ackaouy <ack@xensource.com>
headers-y := $(shell echo public/*.h | sed -e 's,[^[:space:]]*-[^[:space:]]*,,g' -e 's,public/,compat/,g')
headers-y := $(filter-out %/dom0_ops.h,$(headers-y))
+headers-$(CONFIG_X86) += compat/arch-x86/xen.h
+headers-$(CONFIG_X86) += compat/arch-x86/xen-$(compat-arch-y).h
headers-y += compat/arch-$(compat-arch-y).h compat/xlat.h
cppflags-y := -include public/xen-compat.h
! mmuext_op xen.h
! start_info xen.h
? vcpu_time_info xen.h
-! cpu_user_regs arch-@arch@.h
-! trap_info arch-@arch@.h
-! vcpu_guest_context arch-@arch@.h
+! cpu_user_regs arch-x86/xen-@arch@.h
+! trap_info arch-x86/xen.h
+! vcpu_guest_context arch-x86/xen.h
? evtchn_alloc_unbound event_channel.h
? evtchn_bind_interdomain event_channel.h
? evtchn_bind_ipi event_channel.h